Перевод: с английского на русский

с русского на английский

rule of contraction

См. также в других словарях:

  • Contraction and Convergence — (C C) is a proposed global framework for reducing greenhouse gas emissions to combat climate change. Conceived by the Global Commons Institute [GCI] in the early 1990s, the Contraction and Convergence strategy consists of reducing overall… …   Wikipedia

  • Contraction — may refer to: In physiology: Muscle contraction, one that occurs when a muscle fiber lengthens or shortens Uterine contraction, contraction of the uterus, such as during childbirth Contraction, a stage in wound healing In linguistics: Synalepha,… …   Wikipedia

  • Contraction (grammar) — This article is about contraction in the grammar of modern languages, which involves elision. For contraction in Ancient Greek, the coalescence of two vowels into one, see crasis. For the linguistic function of pronouncing vowels together, see… …   Wikipedia

  • contraction rule — noun : a patternmaker s rule in which the divisions are made larger ( 1/96 for iron, 1/64 for brass) than standard measures to allow for contraction during cooling of the metal being cast …   Useful english dictionary

  • Structural rule — In proof theory, a structural rule is an inference rule that does not refer to any logical connective, but instead operates on the judgements or sequents directly. Structural rules often mimic intended meta theoretic properties of the logic.… …   Wikipedia

  • Naegele's rule — is a standard way of calculating the due date for a pregnancy. The rule estimates the expected date of delivery (EDD) by adding one year, subtracting three months, and adding seven days to the first day of a woman s last menstrual period (LMP).… …   Wikipedia

  • shrinkage rule — noun or shrink rule : contraction rule …   Useful english dictionary

  • Curry's paradox — For Paul Curry s optical illusion and dissection puzzle, see Missing square puzzle. Curry s paradox is a paradox that occurs in naive set theory or naive logics, and allows the derivation of an arbitrary sentence from a self referring sentence… …   Wikipedia

  • Linear logic — In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction . The interpretation is of hypotheses as resources : every hypothesis must be consumed exactly once in a proof.… …   Wikipedia

  • Idempotency of entailment — is a property of logical systems that states that one may derive the same consequences from many instances of a hypothesis as from just one. In sequent calculi this property can be captured by a structural rule called contraction and in such… …   Wikipedia

  • List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»